void f(x) {
  [ ] = x;
}
